Cs - R 9353 1993
نویسندگان
چکیده
We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More speciically, we shall discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation.
منابع مشابه
Suppression of T-lymphoma cell apoptosis by monoclonal antibodies raised against cell surface adhesion molecules.
We have previously established a mouse malignant T-lymphoma CS-21 cell line that preferentially metastasizes to lymph nodes after s.c. inoculation into BALB/c mice. The CS-21 lymphoma cells were grown in vitro in the presence of CA-12 stromal cells isolated from lymph nodes. When CS-21 cells were cultured alone, they underwent apoptotic cell death with DNA fragmentation. In contrast, the cultur...
متن کاملThe road to two theorems of logic
Work on how to axiomatize the subtheories of first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.
متن کاملAn inverse approach to convex ordered median problems in trees
The convex ordered median problem is a generalization of the median, the k-centrum or the center problem. The task of the associated inverse problem is to change edge lengths at minimum cost such that a given vertex becomes an optimal solution of the location problem, i.e., an ordered median. It is shown that the problem is NP-hard even if the underlying network is a tree and the ordered median...
متن کاملUpper extremity and digital replantation.
Digital replantation has become a well-established technique among reconstructive hand surgeons. Numerous replantation centers around the world have published series with impressive survival rates. The ultimate goal of replantation is the restoration of normal hand or digital function; thus, replantation success is not solely related to the outcome of the microvascular anastomosis, but also to ...
متن کامل